Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é extensional equality - definição
LOGIC PRINCIPLE THAT JUDGES OBJECTS TO BE EQUAL IF THEY HAVE THE SAME EXTERNAL PROPERTIES
Extensional equality; Extensional relation; Extensional relations
extensional equality
(Or extensionality). Functions, f and g are extensionally
equal if and only if
f x = g x for all x.
where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.
Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
x . x+x and x . 2*x. See also {observational
equivalence}, referential transparency.
extensionality
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
Wikipédia
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
